Keep it Fair: Equivalences
نویسندگان
چکیده
منابع مشابه
Keep it Fair: Equivalences
For models of concurrent and distributed systems, it is important and also challenging to establish correctness in terms of safety and/or liveness properties. Theories of distributed systems consider equivalences fundamental, since they (1) preserve desirable correctness characteristics and (2) often allow for component substitution making compositional reasoning feasible. Modeling distributed ...
متن کاملEquivalences for Fair Kripke Structures
Abst rac t . We extend the notion of bisimulation to Kripke structures with fairness. We define equivalences that preserve fairness and are akin to bisimulation. Specifically we define an equivalence and show that it is complete in the sense that it is the coarsest equivalence that preserves the logic CTL* interpreted with respect to the fair paths. We show that the addition of fairness might c...
متن کاملKeep It Simple
league will ask, ‘So what?’ Again, you don’t have to ask that yourself, but if you did and couldn’t answer it, you’re in trouble. 6. Remember that your talk or writing really works on two levels, one where you make your point and a second where your ‘metacommentary’ explains to your students or colleagues how and how not to take it, using phrases of the ‘What I’m saying’ or ‘What I’m not saying...
متن کاملKeep it in Mind
Quantum physicist Wolfgang Pauli expressed disdain for sloppy, nonsensical theories by denigrating them as “not even wrong,” meaning they were just empty conjectures that could be quickly dismissed. Unfortunately, many remarkably popular theories of consciousness are of this ilk—the idea, for instance, that our experiences can somehow be explained by the quantum theory that Pauli himself helped...
متن کاملLaser acupuncture: keep it scientific.
Laser acupuncture is a rapidly developing discipline with a growing research basis. This wedding between laser and acupuncture, as in most marriages, is ‘‘for better or worse;’’usually with some of both. Like laser therapy, acupuncture can be approached scientifically; that is, one can describe its mechanisms of action with contemporary biomedical terminology. Abundant evidence exists regarding...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.261.4